function foco (formulario)
{
	document.getElementById(formulario).user.focus();
}